Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
601	A physical analysis of mechanical computability Steven Lindell Department of Computer Science Haverford College 25 May 2006 Add to Reading List Source URL: www-old.newton.ac.uk Language: English - Date: 2013-04-15 10:25:44 Theory of computation Computability theory Turing machine Models of computation Alan Turing Algorithm Computability Computational complexity theory Computer Theoretical computer science Computer science Applied mathematics
602	4.6. THE PRIMITIVE RECURSIVE FUNCTIONS[removed] Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-02-22 14:54:13 Computer science Mathematical logic Primitive recursive function Computable function Computability Model theory Recursion Μ operator Μ-recursive function Computability theory Theory of computation Theoretical computer science
603	Semantics and Syntax A Legacy of Alan Turing Scientific Report Arnold Beckmann (Swansea) S. Barry Cooper (Leeds) Benedikt L¨owe (Amsterdam) Elvira Mayordomo (Zaragoza) Add to Reading List Source URL: www.newton.ac.uk Language: English - Date: 2014-07-22 11:47:42 Theoretical computer science Probabilistic complexity theory Formal sciences Computational complexity theory Mathematical logic Computability theory Algorithm Alan Turing Randomized algorithm Mathematics Science Applied mathematics
604	The complexity of real recursive functions Manuel Lameiras Campagnolo D.M./I.S.A., Universidade T´ecnica de Lisboa, Tapada da Ajuda, [removed], Lisboa, Portugal; C.L.C./D.M./I.S.T., Universidade T´ecnica de Lisboa, Av. Add to Reading List Source URL: wslc.math.ist.utl.pt Language: English - Date: 2003-02-11 11:10:46 Mathematical logic Theory of computation Recursion Functions and mappings Programming idioms Primitive recursive function ELEMENTARY Computable function Function Theoretical computer science Mathematics Computability theory
605	Lecture XXX Page 1 “The field of mechanical theorem proving badly needs a basis for comparing and evaluating the dozens of procedures which appear in the literature. Performance of a Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-11-21 18:33:24 Complexity classes P Time complexity Algorithm Reduction Turing machine EXPTIME Computability L Theoretical computer science Computational complexity theory Applied mathematics
606	Learning with a Limited Memory Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 04:26:15 Theoretical computer science Computer science Inductive inference Recursion Computable function Derivative Recursively enumerable set Big O notation Function Mathematics Theory of computation Computability theory
607	Asia Pacific Mathematics Newsletter January[removed]Volume 2 Number 1 Add to Reading List Source URL: www.austms.org.au Language: English - Date: 2012-07-31 22:40:14 Mathematics Computability theory Turing machine Alan Turing Halting problem Hypercomputation Interactive computation Computability Computable number Theory of computation Theoretical computer science Computer science
608	Journal of Functional Programming http://journals.cambridge.org/JFP Additional services for Journal of Functional Programming: Email alerts: Click here Subscriptions: Click here Commercial reprints: Click Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-03-29 19:34:46 Computer science Logic in computer science Programming language semantics Computability theory Formal methods Operational semantics Lambda calculus Denotational semantics Abstract interpretation Theoretical computer science Models of computation Applied mathematics
609	Automatic Mutual Exclusion and Atomicity Checks Mart´ın Abadi1,2 1 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:04:04 Predicate logic Models of computation Formal methods Computability theory Lambda calculus Theoretical computer science Mereology Modal logic Free variables and bound variables Logic Mathematics Mathematical logic
610	Computable Structures: Presentations Matter Richard A. Shore∗ Department of Mathemcatics Cornell Univeristy Ithaca NY 14853 Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1999-12-01 12:15:32 Applied mathematics Logic Computable isomorphism Turing reduction Recursive set Enumeration Low Recursively enumerable set Mathematical logic Computability theory Theory of computation Mathematics

UPDATE